Skip to content

ci: disable Mergify interactive queue controls in PR comments#377

Merged
mergify[bot] merged 1 commit into
os-autoinst:masterfrom
okurz:feature/mergify
Jul 3, 2026
Merged

ci: disable Mergify interactive queue controls in PR comments#377
mergify[bot] merged 1 commit into
os-autoinst:masterfrom
okurz:feature/mergify

Conversation

@okurz

@okurz okurz commented Jul 3, 2026

Copy link
Copy Markdown
Member

Motivation:
Rendered task-list checkboxes in the Merge Queue status comment could be
clicked accidentally by reviewers, triggering unexpected merges before
the required approval count was met.

Design Choices:
Set queue_controls_comment to false in the merge_queue block of
.mergify.yml to disable rendering these interactive controls.

Benefits:
Prevents accidental manual queueing and merging of pull requests while
allowing automated queues like Dependabot to work normally.

@okurz

This comment was marked as resolved.

@okurz okurz force-pushed the feature/mergify branch from 4834887 to e98e7e8 Compare July 3, 2026 08:59
@os-autoinst os-autoinst deleted a comment from mergify Bot Jul 3, 2026
Motivation:
Rendered task-list checkboxes in the Merge Queue status comment could be
clicked accidentally by reviewers, triggering unexpected merges before
the required approval count was met.

Design Choices:
Set queue_controls_comment to false in the merge_queue block of
.mergify.yml to disable rendering these interactive controls.

Benefits:
Prevents accidental manual queueing and merging of pull requests while
allowing automated queues like Dependabot to work normally.
@okurz okurz force-pushed the feature/mergify branch from e98e7e8 to 07f9862 Compare July 3, 2026 09:03
@okurz okurz changed the title Merge pull request #54 from os-autoinst/dependabot/github_actions/all-actions-2217aebe03 ci: disable Mergify interactive queue controls in PR comments Jul 3, 2026
@mergify mergify Bot merged commit 90fbefe into os-autoinst:master Jul 3, 2026
6 checks passed
@okurz okurz deleted the feature/mergify branch July 3, 2026 10:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants